Correction: Role of Higher-Order Terms in Local Piston Theory

the analysis of the role of the speech acts theory in translating and dubbing hollywood films

از محوری ترین اثراتی که یک فیلم سینمایی ایجاد می کند دیالوگ هایی است که هنرپیش گان فیلم میگویند. به زعم یک فیلم ساز, یک شیوه متأثر نمودن مخاطب از اثر منظوره نیروی گفتارهای گوینده, مثل نیروی عاطفی, ترس آور, غم انگیز, هیجان انگیز و غیره, است. این مطالعه به بررسی این مسأله مبادرت کرده است که آیا نیروی فراگفتاری هنرپیش گان به مثابه ی اعمال گفتاری در پنج فیلم هالیوودی در نسخه های دوبله شده باز تولید...

Higher Order Approximation , provided by correction terms , in the Meshless Finite Difference Method - applications in mechanics

Bounded Higher-order Unification using Regular Terms

We present a procedure for the bounded unification of higher-order terms [24]. The procedure extends G. P. Huet’s pre-unification procedure [11] with rules for the generation and folding of regular terms. The concise form of the procedure allows the reuse of the pre-unification correctness proof. Furthermore, the regular terms can be restricted in order to get a decidable unifiability problem. ...

Higher-Order Annotated Terms for Proof Search

A notion of embedding appropriate to higher-order syntax is described. This provides a representation of annotated formulae in terms of the diierence between pairs of formulae. We deene substitution and uniication for such annotated terms. Using this representation of annotated terms, the proof search guidance technique of rippling can be extended to higher-order theorems. We illustrate this by...

Higher-Order Game Theory

In applied game theory the motivation of players is a key element. It is encoded in the payoffs of the game form and often based on utility functions. But there are cases were formal descriptions in the form of a utility function do not exist. In this paper we introduce a representation of games where players’ goals are modeled based on so-called higher-order functions. Our representation provi...